Issue5781c.agda:1,1-53
Cannot use profiling option 'internal' with 'modules'
